extended predicate calculus

廣義謂詞演算